void acceptor_0_recv_msg(int sd, short event, void * arg);
void send_inst_paxos_to_successor(int nextMulticast);
void prepare_fresh_instances_timer_event(int sd, short event, void * arg);
void generate_instance(proposer_msg *pm);
void send_short_paxos_to_successor(int nextMulticast);
